“District should adopt instant-runoff elections”

WaPo editorial.